Cut rule

#	Item
51	A Systematic Proof Theory for Several Modal Logics Charles Stewart and Phiniki Stouppa Add to Reading List Source URL: www.textproof.com Language: English - Date: 2008-12-23 04:40:00 Sequent calculus Proof calculus Propositional calculus Structural proof theory Sequent Cut-elimination theorem Hilbert system Modal logic Rule of inference Logic Mathematical logic Proof theory
52	A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006 Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-01 08:48:04 Sequent calculus Structural proof theory Sequent Modal logic Rule of inference Cut-elimination theorem Deep inference Linear logic Formal proof Logic Proof theory Mathematical logic